Name | Version | Summary | date |
---|---|---|---|
pddl2hoa | 0.1.4 | Convert PDDL planning problems to HOA (Hanoi Omega Automata) format | 2025-07-30 16:14:01 |
py-tree-sitter-spthy | 1.2.1 | Tree-sitter parser for Spthy language (Tamarin Prover) | 2025-07-30 09:33:39 |
hour | day | week | total |
---|---|---|---|
86 | 2309 | 10466 | 305163 |